1. Identificação | |
Tipo de Referência | Artigo em Evento (Conference Proceedings) |
Site | mtc-m16d.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identificador | 8JMKD3MGP7W/3A7BG45 |
Repositório | sid.inpe.br/mtc-m19/2011/08.02.13.26 |
Última Atualização | 2012:01.25.14.13.55 (UTC) administrator |
Repositório de Metadados | sid.inpe.br/mtc-m19/2011/08.02.13.26.32 |
Última Atualização dos Metadados | 2021:02.11.18.18.16 (UTC) administrator |
Chave Secundária | INPE--PRE/ |
DOI | 10.1109/LADCW.2011.16 |
ISBN | 978-0-7695-4394-9 978-1-4577-0194-8 |
Chave de Citação | YanoMartSous:2011:MoApRo |
Título | A model-based approach for robustness test generation |
Ano | 2011 |
Data de Acesso | 27 abr. 2024 |
Tipo Secundário | PRE CN |
Número de Arquivos | 1 |
Tamanho | 520 KiB |
|
2. Contextualização | |
Autor | 1 Yano, T. 2 Martins, E 3 Sousa, Fabiano Luís de |
Identificador de Curriculo | 1 2 3 8JMKD3MGP5W/3C9JH3H |
Grupo | 1 2 3 DMC-ETE-INPE-MCT-BR |
Afiliação | 1 nst. of Comput., State Univ. of Campinas, Campinas, Brazil 2 nst. of Comput., State Univ. of Campinas, Campinas, Brazil 3 Instituto Nacional de Pesquisas Espaciais (INPE) |
Endereço de e-Mail | secretaria.cpa@dir.inpe.br |
Nome do Evento | Dependable Computing Workshops (LADCW); Latin-American Symposium on Issue Date, 5. |
Localização do Evento | São José dos Campos |
Data | 25-29 Apr. |
Páginas | 33 - 34 |
Título do Livro | Proceedings |
Histórico (UTC) | 2012-01-25 14:13:55 :: secretaria.cpa@dir.inpe.br -> administrator :: 2011 2021-02-11 18:18:16 :: administrator -> banon :: 2011 |
|
3. Conteúdo e estrutura | |
É a matriz ou uma cópia? | é a matriz |
Estágio do Conteúdo | concluido |
Transferível | 1 |
Tipo do Conteúdo | External Contribution |
Tipo de Versão | publisher |
Resumo | Since Critical Infrastructures (CI) strongly rely on network services, robustness testing is a key step to assure the resilience of such systems in the presence of abnormal situations. This work proposes a dynamic robustness test cases generation from state models, using an executable version of the model. A meta-heuristics search based algorithm is used to generate test cases taking into account the control and data aspects of the model. |
Área | ETES |
Arranjo | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDMC > A model-based approach... |
Conteúdo da Pasta doc | acessar |
Conteúdo da Pasta source | não têm arquivos |
Conteúdo da Pasta agreement | |
|
4. Condições de acesso e uso | |
URL dos dados | http://urlib.net/ibi/8JMKD3MGP7W/3A7BG45 |
URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP7W/3A7BG45 |
Idioma | en |
Arquivo Alvo | 04283278.pdf |
Grupo de Usuários | administrator banon secretaria.cpa@dir.inpe.br |
Grupo de Leitores | administrator banon |
Visibilidade | shown |
Permissão de Leitura | allow from all |
Permissão de Atualização | não transferida |
|
5. Fontes relacionadas | |
Vinculação | Trabalho Vinculado à Tese/Dissertação |
Repositório Espelho | sid.inpe.br/mtc-m19@80/2009/08.21.17.02.53 |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/446AF4B |
Acervo Hospedeiro | sid.inpe.br/mtc-m19@80/2009/08.21.17.02 |
|
6. Notas | |
Notas | IEEE Proceedings of Fifth Latin-American Symposium on Dependable Computing. |
Campos Vazios | archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination edition editor electronicmailaddress format issn keywords label lineage mark nextedition numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarytype type url volume |
|
7. Controle da descrição | |
e-Mail (login) | banon |
atualizar | |
|